Simulation of Two Dimensions in Unimodal Logics
نویسنده
چکیده
In this paper, we prove undecidability and the lack of finite model property for a certain class of unimodal logics. To do this, we adapt the technique from [7], where products of transitive modal logics were investigated, for the unimodal case. As a particular corollary, we present an undecidable unimodal fragment of Halpern and Shoham’s Interval Temporal Logic.
منابع مشابه
It Takes Two to Tango: Customization and Standardization as Colluding Logics in Healthcare; Comment on “(Re) Making the Procrustean Bed Standardization and Customization as Competing Logics in Healthcare”
The healthcare context is characterized with new developments, technologies, ideas and expectations that are continually reshaping the frontline of care delivery. Mannion and Exworthy identify two key factors driving this complexity, ‘standardization’ and ‘customization,’ and their apparent resulting paradox to be negotiated by healthcare professionals, managers and policy makers. However, whil...
متن کاملEQ-logics with delta connective
In this paper we continue development of formal theory of a special class offuzzy logics, called EQ-logics. Unlike fuzzy logics being extensions of theMTL-logic in which the basic connective is implication, the basic connective inEQ-logics is equivalence. Therefore, a new algebra of truth values calledEQ-algebra was developed. This is a lower semilattice with top element endowed with two binary...
متن کاملProducts of ‘transitive’ modal logics without the (abstract) finite model property
It is well known that many two-dimensional products of modal logics with at least one ‘transitive’ (but not ‘symmetric’) component lack the product finite model property. Here we show that products of two ‘transitive’ logics (such as, e.g., K4 ×K4, S4 × S4, Grz×Grz and GL×GL) do not have the (abstract) finite model property either. These are the first known examples of 2D modal product logics w...
متن کاملA Matrix Characterization of Validity for Multimodal Logics
We present a new matrix characterization of validity for a family of propositional multimodal logics with interacting modalities. Unlike previous matrix characterizations for modal logics, which could only cope with a few well-behaved unimodal logics, our formulation is not based on prefixed tableaus in the style of Fitting, but has a more direct relationship with the semantics of the logics an...
متن کاملPersonalisation - An Emergent Institutional Logic in Healthcare?; Comment on “(Re) Making the Procrustean Bed? Standardization and Customization as Competing Logics in Healthcare”
This commentary on the recent think piece by Mannion and Exworthy reviews their core arguments, highlighting their suggestion that recent forces for personalization have emerged which may counterbalance the strong standardization wave which has been evident in many healthcare settings and systems over the last two decades. These forces for personalization can take very different forms. The comm...
متن کامل